منابع مشابه
A Program Design Assistant
The DA will be a design assistant which can assist the programmer in lowlevel design. The input language of the DA is a cliche-based program description language that allows the specification and high-level design of commonly-written programs to be described concisely. The DA language is high-level in the sense that programmers need not bother with detailed design. The DA will provide automatic...
متن کاملExperimental Designs: Testing a Debugging Oracle Assistant
This paper documents the design of an experiment to test a debugging oracle assistant. A debugging oracle is responsible for judging correctness of program parts or program states. A programmer usually acts as a debugging oracle. The goal of a debugging oracle assistant is to improve the programmer’s speed and accuracy. Factors that complicate our design process include: (1) programmer variabil...
متن کاملA structure editor for the program composing assistant
The Program Composing Assistant is an interactive generic development environment dedicated to programming languages. It provides a structure editor with graphical user interface as a main feature. The structure editor is based on an intuitive approach, and aims to integrate important practical aspects of structure editing.
متن کاملA Program Certification Assistant Based on Fully Automated Theorem Provers
We describe a certification assistant to support formal safety proofs for programs. It is based on a graphical user interface that hides the lowlevel details of first-order automated theorem provers while supporting limited interactivity: it allows users to customize and control the proof process on a high level, manages the auxiliary artifacts produced during this process, and provides traceab...
متن کاملDeveloping Certified Program Verifiers with a Proof Assistant
I describe ongoing work on a new approach to foundational proof-carrying code. The key new idea is to use certified program verifiers to embody customized program verification strategies, specialized to particular safety policies, enforcement mechanisms, and source-level compilers. A certified verifier is an executable program that has a full correctness proof. The particular strategy that I’ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 1982
ISSN: 0001-0782,1557-7317
DOI: 10.1145/358628.358642